FPC and Theoretical Models for Time Variations ofG
نویسندگان
چکیده
منابع مشابه
Games and definability for FPC
A new games model of the language FPC, a type theory with products, sums, function spaces and recursive types, is described. A definability result is proved, showing that every finite element of the model is the interpretation of some term of the language. §
متن کاملGames and Full Abstraction for FPC
A new category of games is developed which improves over existing such categories in that it interprets sums as well as products, function spaces and recursive types. A model of FPC, a sequential functional language with just this type structure, is described and shown to be fully abstract.
متن کاملAn Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are defined. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them —the non-trivial and absolute ones— are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor categories o...
متن کاملFrom parametric polymorphism to models of polymorphic FPC
This paper shows how PILLY (Polymorphic Intuitionistic / Linear Lambda calculus with a fixed point combinator Y ) with parametric polymorphism can be used as a metalanguage for domain theory, as originally suggested by Plotkin more than a decade ago. Using Plotkin’s encodings of recursive types in PILLY we show how parametric models of PILLY give rise to models of FPC, a simply typed lambda cal...
متن کاملTHEORETICAL MODELS FOR DETERMINING THE VELOCITY OF ULTRASOUND IN BONE AND BONE SAMPLES
Currently available non-invasive clinical methods for diagnosing osteoporosis are mainly associated with ionizing radiation. Ultrasonic assessment of bone disease is a more recent technology. A theoretical explanation for the relationship between ultrasonic parameters and bone structure is necessary. Thus, two types of bone samples of perspex (HAP) and perspex-glass beads were produced. Ea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Progress of Theoretical Physics Supplement
سال: 2008
ISSN: 0375-9687
DOI: 10.1143/ptps.172.182